inverse function of one-to-one function